<body>
Implementations of cardinality contraints.

Cardinality constraints are implemented by counters and watched literals.
</body>